Richard Dedekind
リヒヤルト・デデキント